Concurrent algorithm - PDFSEARCH.IO - Document Search Engine

Concurrent algorithm
Results: 314

#	Item
31	TEM Journal–159 CUDA Based Speed Optimization of the PCA Algorithm Salih Görgünoğlu 1, Kadriye Öz 2, Abdullah Çavuşoğlu 3 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2016-05-26 17:08:38 Computing Concurrent computing Parallel computing GPGPU Computer architecture Graphics hardware Video cards CUDA Video game hardware General-purpose computing on graphics processing units Graphics processing unit OpenCL
32	Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Abstract data types Concurrency control Scheduling algorithms Operations research Computing Concurrent computing Business Queue Double-ended queue FIFO Scheduling Non-blocking algorithm
33	Distributed Asymmetric Verification in Computational Grids Michael Kuhn, Stefan Schmid, Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK) ETH Zurich CH-8092 Zurich, Switzerland Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:29 Concurrent computing Distributed computing Software Berkeley Open Infrastructure for Network Computing Volunteer computing Grid computing Climateprediction.net NC BitTorrent SETI@home Algorithm
34	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
35	Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle Add to Reading List Source URL: lame2013.dei.uc.pt Language: English - Date: 2013-06-28 07:40:32 Programming paradigms Concurrent programming languages Computer architecture Parallel computing Visual programming languages Flow-based programming Dataflow Transmission Control Protocol Actor model Concurrent computing Algorithm Traffic flow
36	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
37	The Hierarchically Tiled Arrays Programming Approach ∗ Basilio B. Fraguela† , Jia Guo, Ganesh Bikshandi, Mar´ıa J. Garzar´ an, Gheorghe Alm´ asi‡ , Jos´ e Moreira‡ , and David Padua Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2005-02-24 02:59:56 Parallel computing Concurrent programming languages HTML HTML Application Internet Explorer Fortran Automatic parallelization Matrix multiplication algorithm NAS Parallel Benchmarks XC Array programming Speedup
38	A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2015-08-17 06:31:40 Concurrency control Transaction processing Linearizability Algorithm Concurrent computing Parallel computing
39	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
40	Automatic Contention Detection and Amelioration for Data-Intensive Operations John Cieslewicz∗, Kenneth A. Ross†, Kyoho Satsumi, Yang Ye Department of Computer Science, Columbia University, New York NY (johnc,kar,ye Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Parallel computing Concurrency control MapReduce Thread Data-intensive computing CPU cache Non-blocking algorithm Concurrent data structure Synchronization Cray MTA Lock Linearizability